(1
 (
("distance-increasing(agent2 agent1)" 248 268)
("distance-increasing(agent2 agent1)" 491 761)
("visible(agent2 agent1)" 105 497)
("heard(agent2 agent1)" 200 555)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 244 248)
("distance-stable(agent2 agent1)" 268 491)
("distance-stable(agent2 agent1)" 761 765)
("distance-stable(agent2 agent1)" 786 1082)
("visible(agent1 agent2)" 105 503)
("distance-decreasing(agent2 agent1)" 5 244)
("distance-decreasing(agent2 agent1)" 765 786)
("heard(agent1 agent2)" 200 555)
 )
)
(2
 (
("distance-increasing(agent2 agent1)" 363 383)
("distance-increasing(agent2 agent1)" 608 993)
("visible(agent2 agent1)" 220 613)
("heard(agent2 agent1)" 322 682)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 359 363)
("distance-stable(agent2 agent1)" 383 608)
("distance-stable(agent2 agent1)" 993 997)
("distance-stable(agent2 agent1)" 1020 1082)
("visible(agent1 agent2)" 220 619)
("distance-decreasing(agent2 agent1)" 5 359)
("distance-decreasing(agent2 agent1)" 997 1020)
("heard(agent1 agent2)" 322 682)
 )
)
(3
 (
("distance-increasing(agent2 agent1)" 164 185)
("distance-increasing(agent2 agent1)" 407 592)
("visible(agent2 agent1)" 0 413)
("heard(agent2 agent1)" 122 476)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 160 164)
("distance-stable(agent2 agent1)" 185 407)
("distance-stable(agent2 agent1)" 592 596)
("distance-stable(agent2 agent1)" 618 1079)
("visible(agent1 agent2)" 0 419)
("distance-decreasing(agent2 agent1)" 5 160)
("distance-decreasing(agent2 agent1)" 596 618)
("heard(agent1 agent2)" 122 476)
 )
)
(4
 (
("distance-increasing(agent2 agent1)" 316 336)
("distance-increasing(agent2 agent1)" 559 896)
("visible(agent2 agent1)" 173 565)
("heard(agent2 agent1)" 265 625)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 312 316)
("distance-stable(agent2 agent1)" 336 559)
("distance-stable(agent2 agent1)" 896 900)
("distance-stable(agent2 agent1)" 922 1080)
("visible(agent1 agent2)" 173 571)
("distance-decreasing(agent2 agent1)" 5 312)
("distance-decreasing(agent2 agent1)" 900 922)
("heard(agent1 agent2)" 265 625)
 )
)
(5
 (
("distance-increasing(agent2 agent1)" 315 337)
("distance-increasing(agent2 agent1)" 557 893)
("visible(agent2 agent1)" 172 563)
("heard(agent2 agent1)" 270 632)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 311 315)
("distance-stable(agent2 agent1)" 337 557)
("distance-stable(agent2 agent1)" 893 897)
("distance-stable(agent2 agent1)" 917 1080)
("visible(agent1 agent2)" 172 569)
("distance-decreasing(agent2 agent1)" 5 311)
("distance-decreasing(agent2 agent1)" 897 917)
("heard(agent1 agent2)" 270 632)
 )
)
(6
 (
("distance-increasing(agent2 agent1)" 419 440)
("distance-increasing(agent2 agent1)" 662 1078)
("visible(agent2 agent1)" 276 668)
("heard(agent2 agent1)" 373 726)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 415 419)
("distance-stable(agent2 agent1)" 440 662)
("visible(agent1 agent2)" 276 674)
("distance-decreasing(agent2 agent1)" 5 415)
("heard(agent1 agent2)" 373 726)
 )
)
(7
 (
("distance-increasing(agent2 agent1)" 293 314)
("distance-increasing(agent2 agent1)" 537 851)
("visible(agent2 agent1)" 150 543)
("heard(agent2 agent1)" 247 601)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 289 293)
("distance-stable(agent2 agent1)" 314 537)
("distance-stable(agent2 agent1)" 851 855)
("distance-stable(agent2 agent1)" 875 1081)
("visible(agent1 agent2)" 150 549)
("distance-decreasing(agent2 agent1)" 5 289)
("distance-decreasing(agent2 agent1)" 855 875)
("heard(agent1 agent2)" 247 601)
 )
)
(8
 (
("distance-increasing(agent2 agent1)" 289 309)
("distance-increasing(agent2 agent1)" 534 845)
("visible(agent2 agent1)" 146 540)
("heard(agent2 agent1)" 248 608)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 285 289)
("distance-stable(agent2 agent1)" 309 534)
("distance-stable(agent2 agent1)" 845 849)
("distance-stable(agent2 agent1)" 870 1081)
("visible(agent1 agent2)" 146 546)
("distance-decreasing(agent2 agent1)" 5 285)
("distance-decreasing(agent2 agent1)" 849 870)
("heard(agent1 agent2)" 248 608)
 )
)
(9
 (
("distance-increasing(agent2 agent1)" 394 414)
("distance-increasing(agent2 agent1)" 638 1054)
("visible(agent2 agent1)" 251 644)
("heard(agent2 agent1)" 343 703)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 390 394)
("distance-stable(agent2 agent1)" 414 638)
("distance-stable(agent2 agent1)" 1054 1058)
("distance-stable(agent2 agent1)" 1078 1080)
("visible(agent1 agent2)" 251 650)
("distance-decreasing(agent2 agent1)" 5 390)
("distance-decreasing(agent2 agent1)" 1058 1078)
("heard(agent1 agent2)" 343 703)
 )
)
(10
 (
("distance-increasing(agent2 agent1)" 320 343)
("distance-increasing(agent2 agent1)" 564 905)
("visible(agent2 agent1)" 177 570)
("heard(agent2 agent1)" 278 642)
("collision(agent1 agent2)" 316 319)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 317 320)
("distance-stable(agent2 agent1)" 343 564)
("distance-stable(agent2 agent1)" 905 909)
("distance-stable(agent2 agent1)" 930 1082)
("visible(agent1 agent2)" 177 576)
("distance-decreasing(agent2 agent1)" 5 317)
("distance-decreasing(agent2 agent1)" 909 930)
("heard(agent1 agent2)" 278 642)
 )
)
(11
 (
("distance-increasing(agent2 agent1)" 313 333)
("distance-increasing(agent2 agent1)" 556 890)
("visible(agent2 agent1)" 169 562)
("heard(agent2 agent1)" 263 622)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 309 313)
("distance-stable(agent2 agent1)" 333 556)
("distance-stable(agent2 agent1)" 890 894)
("distance-stable(agent2 agent1)" 916 1077)
("visible(agent1 agent2)" 169 568)
("distance-decreasing(agent2 agent1)" 5 309)
("distance-decreasing(agent2 agent1)" 894 916)
("heard(agent1 agent2)" 263 622)
 )
)
(12
 (
("distance-increasing(agent2 agent1)" 233 256)
("distance-increasing(agent2 agent1)" 477 731)
("visible(agent2 agent1)" 90 483)
("heard(agent2 agent1)" 191 552)
("collision(agent1 agent2)" 229 231)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 230 233)
("distance-stable(agent2 agent1)" 256 477)
("distance-stable(agent2 agent1)" 731 735)
("distance-stable(agent2 agent1)" 756 1077)
("visible(agent1 agent2)" 90 489)
("distance-decreasing(agent2 agent1)" 5 230)
("distance-decreasing(agent2 agent1)" 735 756)
("heard(agent1 agent2)" 191 552)
 )
)
(13
 (
("distance-increasing(agent2 agent1)" 381 402)
("distance-increasing(agent2 agent1)" 624 1027)
("visible(agent2 agent1)" 238 630)
("heard(agent2 agent1)" 338 704)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 377 381)
("distance-stable(agent2 agent1)" 402 624)
("distance-stable(agent2 agent1)" 1027 1031)
("distance-stable(agent2 agent1)" 1051 1080)
("visible(agent1 agent2)" 238 636)
("distance-decreasing(agent2 agent1)" 5 377)
("distance-decreasing(agent2 agent1)" 1031 1051)
("heard(agent1 agent2)" 338 704)
 )
)
(14
 (
("distance-increasing(agent2 agent1)" 300 323)
("distance-increasing(agent2 agent1)" 542 862)
("visible(agent2 agent1)" 156 548)
("heard(agent2 agent1)" 254 607)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 296 300)
("distance-stable(agent2 agent1)" 323 542)
("distance-stable(agent2 agent1)" 862 866)
("distance-stable(agent2 agent1)" 887 1076)
("visible(agent1 agent2)" 156 554)
("distance-decreasing(agent2 agent1)" 5 296)
("distance-decreasing(agent2 agent1)" 866 887)
("heard(agent1 agent2)" 254 607)
 )
)
(15
 (
("distance-increasing(agent2 agent1)" 152 173)
("distance-increasing(agent2 agent1)" 395 568)
("visible(agent2 agent1)" 0 401)
("heard(agent2 agent1)" 107 470)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 148 152)
("distance-stable(agent2 agent1)" 173 395)
("distance-stable(agent2 agent1)" 568 572)
("distance-stable(agent2 agent1)" 592 1077)
("visible(agent1 agent2)" 0 407)
("distance-decreasing(agent2 agent1)" 5 148)
("distance-decreasing(agent2 agent1)" 572 592)
("heard(agent1 agent2)" 107 470)
 )
)
(16
 (
("distance-increasing(agent2 agent1)" 116 137)
("distance-increasing(agent2 agent1)" 359 496)
("visible(agent2 agent1)" 0 365)
("heard(agent2 agent1)" 74 434)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 112 116)
("distance-stable(agent2 agent1)" 137 359)
("distance-stable(agent2 agent1)" 496 500)
("distance-stable(agent2 agent1)" 519 1080)
("visible(agent1 agent2)" 0 371)
("distance-decreasing(agent2 agent1)" 5 112)
("distance-decreasing(agent2 agent1)" 500 519)
("heard(agent1 agent2)" 74 434)
 )
)
(17
 (
("distance-increasing(agent2 agent1)" 128 149)
("distance-increasing(agent2 agent1)" 371 521)
("visible(agent2 agent1)" 0 377)
("heard(agent2 agent1)" 85 452)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 124 128)
("distance-stable(agent2 agent1)" 149 371)
("distance-stable(agent2 agent1)" 521 525)
("distance-stable(agent2 agent1)" 545 1077)
("visible(agent1 agent2)" 0 383)
("distance-decreasing(agent2 agent1)" 5 124)
("distance-decreasing(agent2 agent1)" 525 545)
("heard(agent1 agent2)" 85 452)
 )
)
(18
 (
("distance-increasing(agent2 agent1)" 289 309)
("distance-increasing(agent2 agent1)" 533 845)
("visible(agent2 agent1)" 146 539)
("heard(agent2 agent1)" 240 600)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 285 289)
("distance-stable(agent2 agent1)" 309 533)
("distance-stable(agent2 agent1)" 845 849)
("distance-stable(agent2 agent1)" 871 1079)
("visible(agent1 agent2)" 146 545)
("distance-decreasing(agent2 agent1)" 5 285)
("distance-decreasing(agent2 agent1)" 849 871)
("heard(agent1 agent2)" 240 600)
 )
)
(19
 (
("distance-increasing(agent2 agent1)" 209 229)
("distance-increasing(agent2 agent1)" 452 682)
("visible(agent2 agent1)" 65 458)
("heard(agent2 agent1)" 160 516)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 205 209)
("distance-stable(agent2 agent1)" 229 452)
("distance-stable(agent2 agent1)" 682 686)
("distance-stable(agent2 agent1)" 708 1082)
("visible(agent1 agent2)" 65 464)
("distance-decreasing(agent2 agent1)" 5 205)
("distance-decreasing(agent2 agent1)" 686 708)
("heard(agent1 agent2)" 160 516)
 )
)
(20
 (
("distance-increasing(agent2 agent1)" 166 187)
("distance-increasing(agent2 agent1)" 409 596)
("visible(agent2 agent1)" 0 415)
("heard(agent2 agent1)" 119 478)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 162 166)
("distance-stable(agent2 agent1)" 187 409)
("distance-stable(agent2 agent1)" 596 600)
("distance-stable(agent2 agent1)" 622 1079)
("visible(agent1 agent2)" 0 421)
("distance-decreasing(agent2 agent1)" 5 162)
("distance-decreasing(agent2 agent1)" 600 622)
("heard(agent1 agent2)" 119 478)
 )
)
